$\forall$$g$:GrpSig. ($g$$\downarrow$oset) $\in$ PosetSig